Abstract gringo

Gringo MARTIN GEBSER∗ Aalto University, HIIT, Finland University of Potsdam, Germany [email protected] AMELIA HARRISON† Univeristy of Texas at Austin, USA [email protected] ROLAND KAMINSKI∗ University of Potsdam, Germany [email protected] VLADIMIR LIFSCHITZ† Univeristy of Texas at Austin, USA [email protected] TORSTEN SCHAUB∗‡ University of Potsdam, Germany INRIA Rennes, France [email protected] submitted 1 January 2003; revised 1 January 2003; accepted 1 January 2003